Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
101	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:46 Lisp programming language Data types Functional languages Recursion Functional programming Cons CAR and CDR Lisp Scheme Software engineering Computing Computer programming
102	Safe and Secure Software An Invitation to Ada Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-22 11:56:41 Procedural programming languages Data types Assignment Ada C Fortran Relational operator ALGOL 68 Programming language Software engineering Computing Computer programming
103	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
104	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart & Gr´egoire Henry June 7, 2012 Abstract We present two ongoing related experiments in generic programming Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:12 Type theory Data types Functional programming Functional languages Type class Generic programming OCaml Constructor Main function Software engineering Computing Computer programming
105	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
106	On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius, Alejandro Russo, and Andrei Sabelfeld Dept. of Computer Science and Engineering, Chalmers University of TechnologyGothenburg, Sweden, Fax: +46 31 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:02 Data types Type theory Scripting languages Subroutines Inline expansion Eval Variable Information flow Scope Software engineering Computing Computer programming
107	The Utrecht Agda Compiler Submitted to TFP 2015 Philipp Hausmann, Atze Dijkstra, and Wouter Swierstra Universiteit Utrecht, Netherlands http://www.uu.nl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Functional languages Type theory Procedural programming languages Agda Data types Functional programming Haskell Dependent type Generalized algebraic data type Software engineering Computing Computer programming
108	A Pattern Language for the Design of Aspect Languages and Aspect Composition Frameworks Uwe Zdun New Media Lab, Department of Information Systems Vienna University of Economics, Austria Add to Reading List Source URL: nm.wu-wien.ac.at Language: English - Date: 2004-07-21 05:31:06 Aspect-oriented software development Aspect-oriented programming Programming paradigms Cross-platform software Data types AspectJ E Callback Aspect Software development Computing Software engineering
109	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
110	ASN1C C/C++ Code Generation for 3GPP and LTE Specifications Objective Systems, Inc., December 2008 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2008-12-22 00:00:00 C programming language Data types C++ Procedural programming languages Type theory Typedef Struct Union C Computing Software engineering Computer programming

UPDATE